hhvm fails for no php-based server