The gnome-terminal package carries a downstream patch to rename the .desktop file (to match the DBus name). Handle this case, so the terminal does not just vanish from app favorites on updates.
