diff --git a/src/tools/DLLoader.h b/src/tools/DLLoader.h
index b4a68c0d6e..312f1f3178 100644
--- a/src/tools/DLLoader.h
+++ b/src/tools/DLLoader.h
@@ -50,7 +50,7 @@ class DLLoader {
   /// Cleanup
   ~DLLoader();
   /// Load a library, returning its handle
-  void* load(const std::string&);
+  void* load(const std::string&, bool=false);
   /// Returns the last error in dynamic loader
   const std::string & error();
   /// Returns true if the dynamic loader is available (on some systems it may not).