Now specify an output file