Fix: the management of the pre-version of php