mariadb_get_infov(3) on Linux

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

mariadb_get_infov(3) on Linux now