Update archive for 13.04

util/vm/install-mininet-vm.sh

@@ -13,7 +13,8 @@ sudo sed -i -e 's/quiet splash/text/' /etc/default/grub
 sudo update-grub
 sudo sed -i -e 's/us.archive.ubuntu.com/mirrors.kernel.org/' \
 	/etc/apt/sources.list
-sudo apt-get update
+sudo sed -i -e 's/\/archive.ubuntu.com/\/mirrors.kernel.org/' \
+	/etc/apt/sources.listsudo apt-get update
 # Clean up vmware easy install junk if present
 if [ -e /etc/issue.backup ]; then
     sudo mv /etc/issue.backup /etc/issue