Add missing header for _exit()

Fixes #4188