vfprintf(3avr) on Linux

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

vfprintf(3avr) on Linux now