some fixes to the PHP env