fclose(3avr) on Linux

The text 2adba9bb2a04, as Debian 10 (Buster) shipped it.

fclose(3avr) on Linux now