Attempt to make PicoGUI (picogui.org) build with current Linux versions