fprintf(3avr) on Linux

The text 1e00d01f4ecf, as Debian 11 (Bullseye) shipped it.

fprintf(3avr) on Linux now