- Bugfix: fixed problem with "exit" hook not always being called.  Reported
  by Jeremy.  Patch by Moshe.