fix for travis php