change server_* options to mud_* options