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.