Updated bootstrap_ubuntu_12_04.sh