Proper autoloader for PHP