Menus displayed twice

[stuaxo]

When plotinus is active the menu bar has two sets of menus (the second ones are all greyed out).

Not sure if this will be updated, but some apps still use older versions of Gtk.

If I unset GTK_MODULES then the problem doesn't show up.