Input file name change to agree with earlier convention