avoid including debug.h in options.h