// small fix on php-cli installer