--- a/eric6/Preferences/__init__.py	Thu Aug 15 17:19:28 2019 +0200
+++ b/eric6/Preferences/__init__.py	Fri Aug 16 17:17:32 2019 +0200
@@ -1597,6 +1597,7 @@
         "SyncTimeAfterConnect": True,
         "ShowHiddenLocal": True,
         "ShowHiddenDevice": True,
+        "MpyCrossCompiler": "",    # path of the mpy cross compiler
     }
     if Globals.isWindowsPlatform():
         microPythonDefaults["ColorScheme"] = "Windows 10"