diff --git a/web/app.js b/web/app.js
index 6f3f884a7..27a8e4a18 100644
--- a/web/app.js
+++ b/web/app.js
@@ -2167,11 +2167,10 @@ async function loadFakeWorker() {
 }
 
 async function loadPDFBug(self) {
-  const { debuggerScriptPath } = self.appConfig;
   const { PDFBug } =
     typeof PDFJSDev === "undefined"
-      ? await import(debuggerScriptPath) // eslint-disable-line no-unsanitized/method
-      : await __non_webpack_import__(debuggerScriptPath);
+      ? await import(AppOptions.get("debuggerSrc")) // eslint-disable-line no-unsanitized/method
+      : await __non_webpack_import__(AppOptions.get("debuggerSrc"));
 
   self._PDFBug = PDFBug;
 }
diff --git a/web/app_options.js b/web/app_options.js
index aa529e19e..b2d727793 100644
--- a/web/app_options.js
+++ b/web/app_options.js
@@ -105,6 +105,11 @@ const defaultOptions = {
     value: 0,
     kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
   },
+  debuggerSrc: {
+    /** @type {string} */
+    value: "./debugger.mjs",
+    kind: OptionKind.VIEWER,
+  },
   defaultZoomDelay: {
     /** @type {number} */
     value: 400,
diff --git a/web/viewer.js b/web/viewer.js
index aa2bb5275..fea12640f 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -177,7 +177,6 @@ function getViewerConfiguration() {
       ),
     },
     printContainer: document.getElementById("printContainer"),
-    debuggerScriptPath: "./debugger.mjs",
   };
 }