A fast map-based PHP autoloader