difftime(3avr) on Linux

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

difftime(3avr) on Linux now