--- gnump3d2.orig	2005-10-17 21:38:36.000000000 +0100
+++ gnump3d2	2005-10-17 21:39:16.000000000 +0100
@@ -3376,19 +3376,11 @@
     #
     #  Filter out "/../".  Repeatedly.
     #
-    while ( $path =~ /(.*)\/*\.\.\/(.*)/ )
+    while ( $path =~ /(.*)[\\\/]\.\.[\\\/](.*)/ )
     {
         $path = $1 . $2;
     }
 
-    #
-    #  Clean up multiple adjacent '/' characters.
-    #
-    while ( $path =~ /(.*)\/\/(.*)/ )
-    {
-        $path = $1 . "/" . $2;
-    }
-
     return( $path );
 }