--- a/tools/version.sh  2020-04-08 19:39:40.349461034 +0200
+++ b/tools/version.sh  2020-05-13 13:40:26.354277094 +0200
@@ -1,4 +1,3 @@
 #!/bin/sh

-test -d .git || exit
-git describe --tags
+echo -n "0.14.37"