remove unnecessary gnome menu entries