write main server config file separately, useful for working around innodb size changes