Update install_ubuntu12.04.sh