Turn back on newer versions of php