We don't need to call on_exit() at exit time.

  The lua-bound function exit() runs that hook for us already.