'Fix compatibility issue with Gnome-3 under Debian-7'