Optimize HHVM's php.ini