mysql_optionsv(3) on Linux

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

mysql_optionsv(3) on Linux now