xcb_randr_configure_provider_property_checked(3) on Linux

The text 5b43e8f3b302, as Debian 10 (Buster) shipped it.

xcb_randr_configure_provider_property_checked(3) on Linux now