product-files.txt pre-empts command line

A deliberate decision, so a person doesn't have to open a command shell
and pass the parameter manually.