diff --git a/filter/tex/texdebug.php b/filter/tex/texdebug.php
index 5771da07b98..a9119322263 100644
--- a/filter/tex/texdebug.php
+++ b/filter/tex/texdebug.php
@@ -119,7 +119,12 @@
                 break;
             }
             if (!$cmd) {
+	      if (is_executable("$CFG->dirroot/$CFG->texfilterdir/mimetex")) {   /// Use the custom binary
+                $commandpath="$CFG->dirroot/$CFG->texfilterdir/mimetex";
+                $cmd = "$CFG->dirroot/$CFG->texfilterdir/mimetex -e $pathname ". escapeshellarg($texexp);
+              } else {
                 error($error_message1);
+	      }
             }
             system($cmd, $status);
         }