have travis do a: php -i