Update and rename setup_ubuntu.sh to setup_ubuntu12.10.sh