fix gnome-terminal location and manifest
two other gnome-3.6 libraries, documentation for package.mask