more fun with server config (fix #5)