FIX #1650: ".boot modules interact badly with the ghci debugger"