travis php version modified