src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Sat Apr 08 21:09:34 2017 +0200
+++ b/src/Pure/Tools/build.ML	Sat Apr 08 21:28:19 2017 +0200
@@ -180,7 +180,7 @@
 
     val _ =
       Resources.set_session_base
-        {default_qualifier = name,
+        {default_qualifier = "" (* FIXME *),
          global_theories = global_theories,
          loaded_theories = loaded_theories,
          known_theories = known_theories};