travis php version fix