back to original PHP module loader