Green-Submarine GTK3: disable menu seperator in header-bars