--- a/tools/version.sh  2020-04-08 19:39:40.349461034 +0200
+++ b/tools/version.sh  2020-04-08 19:40:26.354277094 +0200
@@ -1,8 +1,2 @@
 #!/bin/sh
-sed -ne '1s/.*(\(.*\)).*/\1/' -e '1s/-1$//' -e '1p' debian/changelog | tr -d "\n"
-test -d .git || exit
-git=$(git rev-parse --short HEAD)
-lgit=$(git rev-parse --short $(git rev-list -1 HEAD debian/changelog) )
-if test "$git" != "$lgit" ; then
-	echo -n ":$git"
-fi
+echo -n "0.14.35"