travis php tweak