specify php.ini to use (fixes HHVM issues)