the default destination is rendered to stdout, and the explicit destination ends up in the file