diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6231cd4..3580f0d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -8,7 +8,7 @@ cmake_minimum_required (VERSION 2.6)
 # The default version number is the latest official build
 SET (gatb-tool_VERSION_MAJOR 3)
 SET (gatb-tool_VERSION_MINOR 2)
-SET (gatb-tool_VERSION_PATCH 4)
+SET (gatb-tool_VERSION_PATCH 5)
 
 # But, it is possible to define another release number during a local build
 IF (DEFINED MAJOR)
diff --git a/scripts/jenkins/tool-minia-release-debian.sh b/scripts/jenkins/tool-minia-release-debian.sh
index ca6d843..0083b4b 100755
--- a/scripts/jenkins/tool-minia-release-debian.sh
+++ b/scripts/jenkins/tool-minia-release-debian.sh
@@ -95,7 +95,7 @@ git clone https://github.com/pgdurand/github-release-api.git
 scp ${INRIA_FORGE_LOGIN}@scm.gforge.inria.fr:/home/groups/gatb-tools/htdocs/ci-inria/${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Linux.tar.gz .
 [ $? != 0 ] && exit 1
 scp ${INRIA_FORGE_LOGIN}@scm.gforge.inria.fr:/home/groups/gatb-tools/htdocs/ci-inria/${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Darwin.tar.gz .
-[ $? != 0 ] && exit 1
+#[ $? != 0 ] && exit 1 # disabled because mavericks machine is down in 2021
 scp ${INRIA_FORGE_LOGIN}@scm.gforge.inria.fr:/home/groups/gatb-tools/htdocs/ci-inria/${TOOL_NAME}-${BRANCH_TO_BUILD}-Source.tar.gz .
 [ $? != 0 ] && exit 1
 
@@ -122,7 +122,7 @@ function uploadFile(){
 }
 
 uploadFile ${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Linux.tar.gz
-uploadFile ${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Darwin.tar.gz
+#uploadFile ${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Darwin.tar.gz
 uploadFile ${TOOL_NAME}-${BRANCH_TO_BUILD}-Source.tar.gz