mysql_num_rows(3) on Linux

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

mysql_num_rows(3) on Linux now