Fix Gnome version detection in 'about' console script