diff --git a/arduino-debugger-extension/package.json b/arduino-debugger-extension/package.json
index 9a535619..6f48d748 100644
--- a/arduino-debugger-extension/package.json
+++ b/arduino-debugger-extension/package.json
@@ -1,11 +1,11 @@
 {
   "name": "arduino-debugger-extension",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "An extension for debugging Arduino programs",
   "license": "MIT",
   "dependencies": {
     "@theia/debug": "next",
-    "arduino-ide-extension": "0.1.1",
+    "arduino-ide-extension": "0.1.2",
     "cdt-gdb-adapter": "^0.0.14",
     "vscode-debugadapter": "^1.26.0",
     "vscode-debugprotocol": "^1.26.0"
diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index e353cde5..e489f0d5 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "MIT",
   "scripts": {
diff --git a/arduino-ide-extension/scripts/download-cli.js b/arduino-ide-extension/scripts/download-cli.js
index 9912e7c8..efe503e7 100755
--- a/arduino-ide-extension/scripts/download-cli.js
+++ b/arduino-ide-extension/scripts/download-cli.js
@@ -10,7 +10,7 @@
 
 (() => {
 
-    const DEFAULT_VERSION = '0.13.0-rc2'; // require('moment')().format('YYYYMMDD');
+    const DEFAULT_VERSION = '0.13.0'; // require('moment')().format('YYYYMMDD');
 
     const path = require('path');
     const shell = require('shelljs');
diff --git a/browser-app/package.json b/browser-app/package.json
index c3f71b33..20760a81 100644
--- a/browser-app/package.json
+++ b/browser-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "license": "MIT",
   "dependencies": {
     "@theia/core": "next",
@@ -19,8 +19,8 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "0.1.1",
-    "arduino-debugger-extension": "0.1.1"
+    "arduino-ide-extension": "0.1.2",
+    "arduino-debugger-extension": "0.1.2"
   },
   "devDependencies": {
     "@theia/cli": "next"
diff --git a/electron-app/package.json b/electron-app/package.json
index 9c33897f..8ecd55e3 100644
--- a/electron-app/package.json
+++ b/electron-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "license": "MIT",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -21,8 +21,8 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "0.1.1",
-    "arduino-debugger-extension": "0.1.1"
+    "arduino-ide-extension": "0.1.2",
+    "arduino-debugger-extension": "0.1.2"
   },
   "devDependencies": {
     "@theia/cli": "next"
diff --git a/package.json b/package.json
index 8bf56e8d..fc51a106 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-editor",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "Arduino Pro IDE",
   "repository": "https://github.com/bcmi-labs/arduino-editor.git",
   "author": "Arduino SA",