1.1 --- a/src/Pure/Tools/build.scala	Fri Jan 04 11:21:31 2013 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Jan 04 12:33:25 2013 +0100
     1.3 @@ -446,7 +446,7 @@
     1.4      private val env =
     1.5        Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> Isabelle_System.standard_path(output),
     1.6          (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
     1.7 -          Isabelle_System.posix_path(args_file.getPath))
     1.8 +          Isabelle_System.posix_path(args_file))
     1.9  
    1.10      private val script =
    1.11        if (is_pure(name)) {