Fix for Debugger.eli