xcb_randr_set_provider_output_source_checked(3) on Linux

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

xcb_randr_set_provider_output_source_checked(3) on Linux now