--- swftools/swftools.module	2007-06-03 19:13:16.000000000 -0500
+++ swftools.new/swftools.module	2007-06-05 15:31:53.000000000 -0500
@@ -309,6 +309,9 @@
       return $html_alt;
     }
   }
+  else {
+    $file_url = $file;
+  }
 
   // Determine the "src" attribute of the embed (also applies to the 'movie' attribute).
   // Usually this is the Flash Player, but it can also be a swf file, or a custom file