Port better to POSIX hosts lacking _setjmp.