setjmp.h(3avr) on Linux

The text 60f6f23d9601, as Debian 10 (Buster) shipped it.

setjmp.h(3avr) on Linux now