PRINT: allow multiple files on command line