Use own version of php.