inttypes.h(3avr) on Linux

The text 7c24def16a33, as Debian 10 (Buster) shipped it.

inttypes.h(3avr) on Linux now