No such thing as `os.exit()`. Fixes #5.