Consistently use FILE

Consistent naming of input file.