6.1.1 FILESNAME

The name of the input files. They need to be valid .fr source files.