server.ini is ignored anyway