Fixed bug in run.sh (we are now using rm -rf .git).