output: Make default output file name depend on the format.