sin(3avr) on Linux

The text ca8e587169ad, as Debian 12 (Bookworm) shipped it.

sin(3avr) on Linux now