small fixes

diff --git a/configure b/configure
index f668e85..78e1c9a 100755
--- a/configure
+++ b/configure
@@ -1881,7 +1881,7 @@
 
 # Define the identity of the package.
  PACKAGE=asn1c
- VERSION=0.9.7
+ VERSION=0.9.7.2
 
 
 cat >>confdefs.h <<_ACEOF