Issue #16: don't quote output file names.