comment out old debugger code (not sure if that's the right thing to do)