use global menu only on linux due to behavior difference on Windows

on Windows, the menu is always shown like a traditionnal menu inside the
window. We do not want that.