Let's see where the hhvm php.ini might live