2010/11/13 Peter Breitenlohner <peb at mppmu.mpg.de>: > On Fri, 12 Nov 2010, Alphonse Steiner wrote: > I am not entirely sure this is a bug, it may well be intentional (and is > that way since ages). It's a feature. The output filename is known, if you have the output file; the input filename is additional information. Best Martin