--- /home/sseverin/drupal/path_redirect-5.x-1.x/path_redirect.module    2007-12-16 11:46:01.000000000 -0600
+++ path_redirect.module    2007-12-16 13:05:47.000000000 -0600
@@ -32,7 +32,12 @@ function path_redirect_init() {
   if ($r) {
     // if there's a result found, do the redirect
     unset($_REQUEST['destination']);
-    drupal_goto($r->redirect, ($r->query ? $r->query: NULL), ($r->fragment ? $r->fragment : NULL), $r->type);
+    if (function_exists('drupal_goto')) {
+      drupal_goto($r->redirect, ($r->query ? $r->query: NULL), ($r->fragment ? $r->fragment : NULL), $r->type);
+    }
+    else {
+      header("Location: $r->redirect". ($r->query ? $r->query: ''). ($r->fragment ? $r->fragment : ''), TRUE, $r->type);
+    }
   }
 }