fix #4: make the debugger configurable