fix for travis PHP version