Fix stupid php problem in garbage versions of php