Make ServerConfig mutable