Fix menu bar on some Linux distributions.