Fixed hhvm / php5-fpm choice