updated upgrade scripts.
diff --git a/.gitignore b/.gitignore
index e2ed0e2..0767899 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 aig*
 test-aig*
 vz*
+*.iml