Use asprintf() in server_options() (plus a few more whitespace tweaks).