possible fix for problem running gnome-shell under jhbuild