now checking out production version of php by default