You're mixing him up with Fabrice Bellard, I believe (http://www.bellard.org/)