Make the debugger options overrideable