Update ubuntu1204dev.sh