fix(autoload): correct for PHP 5.3 (fixes #4605)