Re: [GHC] #2550: Add an option to read file names from a file instead of the command line