Bug fix in autoload.php generation