The text a5d0ffd50f35, as Debian 10 (Buster) shipped it.
mongoc_client_session_destroy()
mongoc_client_session_destroy(3) on Linux now
