encode spec IRIs in output file names