stdio.h(3avr) on Linux

The text 96a4950f6012, as Debian 12 (Bookworm) shipped it.

stdio.h(3avr) on Linux now