stdio.h(3avr) on Linux

The text 9869d4e17d6c, as Debian 9 (Stretch) shipped it.

stdio.h(3avr) on Linux now