Remove "php --ini" because it hangs on HHVM for unknown reason