src/Pure/System/command_line.ML
2012-08-05 ago prefer general Command_Line.tool wrapper (cf. Scala version);