proper paths in hhvm,php (phar)