xcb_randr_set_screen_size(3) on Linux

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

xcb_randr_set_screen_size(3) on Linux now