Fixes hotkeys on linux