"debugger2" is our hacked version of the one that
comes with PVM 3.3.7.

Less sure about "debugger.emacs"...