input_files: use project's filename option

When the filename input_file option is not defined and it is a project
input_file, use the project's filename option.