Update setup_ubuntu12.04.sh