diff --git a/lib/OpenLayers.js b/lib/OpenLayers.js
index b56d55edda..57afe8530d 100644
--- a/lib/OpenLayers.js
+++ b/lib/OpenLayers.js
@@ -6,7 +6,11 @@
 ///
 
 OpenLayers = new Object();
-OpenLayers._scriptName = "lib/OpenLayers.js";
+
+OpenLayers._scriptName = ( 
+    typeof(_OPENLAYERS_SFL_) == "undefined" ? "lib/OpenLayers.js" 
+                                            : "OpenLayers.js" );
+
 OpenLayers._getScriptLocation = function () {
     var scriptLocation = "";
     var SCRIPT_NAME = OpenLayers._scriptName;