diff --git a/Makefile b/Makefile
index 02000c3..9f28a08 100644
--- a/Makefile
+++ b/Makefile
@@ -79,3 +79,7 @@
 veryclean:
 	for tech in ${TECHS}; do \
 		${MAKE} veryclean-$${tech}; done
+
+distclean:
+	for tech in ${TECHS}; do \
+		${MAKE} veryclean-$${tech}; done
diff --git a/VERSION b/VERSION
index 7dea76e..6d7de6e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.0.1
+1.0.2