o remove an unused compile-time option.