abort() doesn't call atexit handlers any more