diff --git a/package-lock.json b/package-lock.json
index 61b8694..e91a3b7 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -11,7 +11,7 @@
 			"license": "MIT",
 			"dependencies": {
 				"about-window": "^1.15.2",
-				"micropython.js": "github:arduino/micropython.js#v1.4.1"
+				"micropython.js": "github:arduino/micropython.js#v1.4.2"
 			},
 			"devDependencies": {
 				"electron": "^19.0.10",
@@ -3303,8 +3303,8 @@
 			}
 		},
 		"node_modules/micropython.js": {
-			"version": "1.4.1",
-			"resolved": "git+ssh://git@github.com/arduino/micropython.js.git#4648998e5df16a0f85e6e2c17ee1bd36d7a9b985",
+			"version": "1.4.2",
+			"resolved": "git+ssh://git@github.com/arduino/micropython.js.git#c44ffe6a895f1f5490cd9f833594e1ca6e49bd8c",
 			"dependencies": {
 				"serialport": "^10.4.0"
 			},
diff --git a/package.json b/package.json
index 7a80398..28bf8ef 100644
--- a/package.json
+++ b/package.json
@@ -38,7 +38,7 @@
 	"license": "MIT",
 	"dependencies": {
 		"about-window": "^1.15.2",
-		"micropython.js": "github:arduino/micropython.js#v1.4.1"
+		"micropython.js": "github:arduino/micropython.js#v1.4.2"
 	},
 	"engines": {
 		"node": "18"
diff --git a/ui/arduino/store.js b/ui/arduino/store.js
index 4297672..0243456 100644
--- a/ui/arduino/store.js
+++ b/ui/arduino/store.js
@@ -166,7 +166,7 @@ function store(state, emitter) {
     let editor = state.cache(AceEditor, 'editor').editor
     let contents = cleanCharacters(editor.getValue())
     editor.setValue(contents)
-    let filename = state.selectedFile || 'undefined'
+    let filename = cleanCharacters(state.selectedFile || 'undefined')
     let deviceName = getDeviceName(state.selectedDevice)
 
     state.blocking = true
@@ -511,7 +511,7 @@ function store(state, emitter) {
   })
   emitter.on('save-filename', async (filename) => {
     log('save-filename', filename)
-
+    filename = cleanCharacters(filename)
     // no changes
     if (state.selectedFile === filename) {
       state.isEditingFilename = false
@@ -685,8 +685,6 @@ function resizeEditor(state) {
   }
 }
 
-
-
 function cleanCharacters(str) {
   return str.replace(/[\u{0080}-\u{FFFF}]/gu,"")
 }