bad version of php require