Prevent gnome 3.8 from being emerged