more flexible handling of input file names