Comment # 16 on bug 959024 from Alexei Sorokin

I am terribly sorry. Another fix is on the way, meanwhile something like that
should make the issue to stop:
> sudo sh -c 'FILE="$(mktemp --suffix=.patch)" && wget -O- "https://paste.gnome.org/pgtmtrnzn/9vcy9i/raw" | tr -d "\r" > "$FILE" && pushd "/usr/lib/mate-menu/" && patch --fuzz=2 -p2 -i "$FILE"; rm -f mate-menu.py.* && popd; rm -f "$FILE"'