diff --git a/VERSION b/VERSION
index 6f33c12..1bf27f9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-VERSION = 1.3
+VERSION = 1.3.1
diff --git a/autodist b/autodist
index 480fc71..a71de29 100755
--- a/autodist
+++ b/autodist
@@ -5,7 +5,7 @@
 #
 # Released under the terms of the GNU GPL release 3 license
 #
-VERSION=1.3
+VERSION=1.3.1
 me=(${0##*/} $VERSION "Tue Jan 26 2016")
 exec 3>`readlink /proc/self/fd/0`
 
diff --git a/autoport b/autoport
index e334cd7..9032592 100755
--- a/autoport
+++ b/autoport
@@ -4,7 +4,7 @@
 #
 # Released under the terms of the GNU GPL release 3 license
 #
-VERSION=1.3
+VERSION=1.3.1
 
 BASE_REPOSITORY=base
 PORT_REPOSITORY=base