Changes to travis to hopefully make it find php-cgi