[Issue 9530] New: double-free in options.c