Fixing Broken Debugger Extensions