Update setup_ubuntu_12_04.sh