Clean up a few more things

util/install.sh

@@ -285,18 +285,18 @@ function vm_clean {
 
 	# Remove sensistive files
 	history -c
-	rm ~/.ssh/id_rsa*
+	rm -f ~/.ssh/id_rsa* ~/.ssh/known_hosts
 	sudo rm ~/.ssh/authorized_keys2
 
 	# Remove Mininet files
-	sudo rm -rf ~/mininet
-	sudo rm /lib/modules/python2.5/site-packages/mininet*
-	sudo rm /usr/bin/mnexec
+	sudo rm -f /lib/modules/python2.5/site-packages/mininet*
+	sudo rm -f /usr/bin/mnexec
 
 	# Clear git changes
 	git config --global user.name "None"
 	git config --global user.email "None"
 
+	sudo rm -rf ~/mininet
 }
 
 function usage {