I think we can close this since there is a workaround available and this seems to only be an issue with a very old Gnome version.
I think we can close this since there is a workaround available and this seems to only be an issue with a very old Gnome version.