force travis php version