--- a/lib/file_utils.cpp
+++ b/lib/file_utils.cpp
@@ -377,11 +377,7 @@
 }
 
 std::string global_config_file() {
-  std::string sd = share_directory();
-  if (sd.empty()) {
-    return "";
-  }
-  return sd + "/Preferences.json";
+  return "/var/lib/minizinc/Preferences.json";
 }
 
 std::string user_config_file() { return user_config_dir() + "/Preferences.json"; }
