inttypes.h(3avr) on Linux

The text 23644b4c28b9, as Debian 11 (Bullseye) shipped it.

inttypes.h(3avr) on Linux now