Bump patch version of php