fix bug with unused debug options manager