- Workaround a bug in Ubuntu where the menu is not displayed in the global menu bar. Fixes #5420.