[Issue 9530] double-free in options.c