--- flower/file-name.cc	2006-01-26 20:24:59.000000000 +0100
+++ flower/file-name.cc	2006-01-26 21:38:50.000000000 +0100
@@ -56,7 +56,7 @@
 slashify (std::string file_name)
 {
   replace_all (file_name, '\\', '/');
-  replace_all (file_name, std::String ("//"), "/");
+  replace_all (file_name, std::string ("//"), "/");
   return file_name;
 }