The text 41bbba012b4e, as Debian 10 (Buster) shipped it.
xcb_randr_free_lease_checked(3) on Linux now
