div(3avr) on Linux

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

div(3avr) on Linux now