added options to the debugger