this happens because, before setting an option, set_option() will try
to free the previous value (main.c around line 3127). however, the
options are not malloc()-allocated when they are the default values and
not read from the configuration file. this happens, for example, when
the configuration file doesn't exsist.