Use exit() rather than _exit() so we can dump gcov info.