Scripts: php-fpm-ctl now looks for PHP 5.5