Another travis php fix.