This is interesting, does hhvm do special things for autoload.php.