The `file` (and then later `file_`) suggestion was before I suggested the `filenames` name. Using `filename` would be more appropriate now.