add stubs for server options