as: allow user to specify output filename.