FIX issue #83: Various sys.exit() issues (but sys.exit(str) are supported and print string before exit).
FIX issue #83: Various sys.exit() issues (but sys.exit(str) are supported and print string before exit).