Travis Try using another php