setjmp(3avr) on Linux

The text 2eb0e528bd4a, as Debian 8 (Jessie) shipped it.

setjmp(3avr) on Linux now