gnome 3.12: also set python to pkgs.python33