stdio.h(3avr) on Linux

The text 8aa96403ba46, as Debian 8 (Jessie) shipped it.

stdio.h(3avr) on Linux now