> What is wrong with ALWAYS quoting (in double quotes) file names output. The question is whether or not that is always acceptable to anything you pipe the output to. I guess I weakly vote for quoting, because otherwise you can't even pipe the output of mlton -f into another mlb.