stdio.h(3avr) on Linux

The text 84cb949c8933, as Debian 10 (Buster) shipped it.

stdio.h(3avr) on Linux now