[fix] do not install specific php.ini