diff --git a/bhl.inc.php b/bhl.inc.php
index fe08cfd..f21d906 100644
--- a/bhl.inc.php
+++ b/bhl.inc.php
@@ -124,16 +124,7 @@ function bhl_dir() : string
 
 function bhl_shell(string $cmd, &$ret_var, &$ret_out)
 {
-  $prev_path = mono_try_override_path();
-
-  try
-  {
-    shell_try(bhl_dir()."/bhl $cmd", $ret_var, $ret_out);
-  }
-  finally
-  {
-    mono_try_restore_path($prev_path);
-  }
+  shell_try(bhl_dir()."/bhl $cmd", $ret_var, $ret_out);
 }
 
 function bhl_shell_ensure(string $cmd)