Update ubuntu1204Dev64Restore.sh