travis: use php instead of php-cgi