menu shortcut fix for linux