switched server name to hhvm-php.dev