Main menu of Sculpt/Genode too long to fit on screen