diff --git a/NT/tools/lib.pike b/NT/tools/lib.pike
index 46a5d26dcb6b06a1aee51eba81e24a1d59f57456..969b29d0d9179d4ddfa2fe205c03b18083368b22 100644
--- a/NT/tools/lib.pike
+++ b/NT/tools/lib.pike
@@ -12,7 +12,7 @@ void exece(string cmd, array(string) args)
 string fixpath(string s)
 {
   string mnt=getenv("NTMOUNT");
-  array st;
+  mixed st;
 
   while ((st = file_stat(s, 1)) && (st[1] == -3)) {
     string new_s = readlink(s);
@@ -392,7 +392,7 @@ string find_next_in_path(string argv0,string cmd)
     foreach((getenv("PATH")||"")/":",string x)
       {
 	string fname=combine_path(getcwd(),x,cmd);
-	if(array s=file_stat(fname))
+	if(mixed s=file_stat(fname))
 	{
 	  if(argv0)
 	  {
@@ -407,7 +407,7 @@ string find_next_in_path(string argv0,string cmd)
     foreach((getenv("PATH")||"")/":",string x)
       {
 	string fname=combine_path(getcwd(),x,cmd);
-	if(array s=file_stat(fname))
+	if(mixed s=file_stat(fname))
 	{
 	  if(Stdio.File(fname,"r")->read(2)=="#!")
 	    continue;
@@ -419,7 +419,7 @@ string find_next_in_path(string argv0,string cmd)
   foreach((getenv("PATH")||"")/":",string x)
     {
       string fname=combine_path(getcwd(),x,cmd);
-      if(array s=file_stat(fname))
+      if(mixed s=file_stat(fname))
 	return fname;
     }