input_files: don't use a global 'filename' option

Sometimes the config defines a 'filename' option, and we don't want to
use it in the input_files.