src/Pure/library.ML

--- a/src/Pure/library.ML	Tue Aug 18 15:37:50 2015 +0200
+++ b/src/Pure/library.ML	Tue Aug 18 16:08:47 2015 +0200
@@ -1029,8 +1029,8 @@
 
 (* current directory *)
 
-val cd = OS.FileSys.chDir;
-val pwd = OS.FileSys.getDir;
+val cd = OS.FileSys.chDir o ml_platform_path;
+val pwd = ml_standard_path o OS.FileSys.getDir;
 
 
 (* getenv *)