Add missing literal formatting to all usages of php.ini filename