diff --git a/services/clsi/config/settings.defaults.js b/services/clsi/config/settings.defaults.js
index 5af38af9c4..eaf069867d 100644
--- a/services/clsi/config/settings.defaults.js
+++ b/services/clsi/config/settings.defaults.js
@@ -159,6 +159,4 @@ if (process.env.DOCKER_RUNNER) {
   module.exports.path.synctexBaseDir = () => '/compile'
 
   module.exports.path.sandboxedCompilesHostDir = process.env.COMPILES_HOST_DIR
-
-  module.exports.path.synctexBinHostPath = process.env.SYNCTEX_BIN_HOST_PATH
 }