make it possible to specify a --out option for an output file