install-gnome-3.12.1 add option to skip dependency install
install-gnome Fix bug with building webkit