Update ubuntu1204DevRestore.sh