Added config options for the debugger.