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