php5-cgi travis