On Wed, Sep 15, 2010 at 11:38:17AM +0100, Simon Marlow wrote: > > Alternatively we could give it a meaning as you suggest - > newline-separated file names seems like a reasonable interpretation. '\0'-separated sounds better. Thanks Ian