diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 1e57f18a9..45b3d08f1 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -605,9 +605,6 @@ public class BaseNoGui {
   }
 
   static public void initPackages() throws Exception {
-
-    discoveryManager = new DiscoveryManager();
-
     indexer = new ContributionsIndexer(getSettingsFolder(), getHardwareFolder(), getPlatform(),
         new GPGDetachedSignatureVerifier());
 
@@ -635,6 +632,8 @@ public class BaseNoGui {
       File librariesIndexFile = librariesIndexer.getIndexFile();
       FileUtils.deleteIfExists(librariesIndexFile);
     }
+
+    discoveryManager = new DiscoveryManager();
   }
 
   static protected void initPlatform() {