Fix hardcoded php.ini path