Pre-install php5-cli
Merge branch 'optionable-php-platform'