When using docker server backend (e.g. GUI), single-file output doesn't work due to inconsistent naming of the single output file.
When using docker server backend (e.g. GUI), single-file output doesn't work due to inconsistent naming of the single output file.