Converting a PDF file to 8-bit-per-componen or 16-bit-per-component CMYK TIFF gives wrong colors, whereas RGB TIFF comes out correctly. Command lines giving the problem: cat ~/Documents/launch_leaflet.pdf | /usr/bin/gs -dQUIET -dPARANOIDSAFER -dNOPAUSE -dBATCH -dNOINTERPOLATE -sDEVICE=tiff64nc -sstdout=%stderr -sOutputFile=../cmyk16g.tiff -r100x100 -dDEVICEWIDTHPOINTS=612 -dDEVICEHEIGHTPOINTS=792 -_ Problem also happens with 8-bit CMYK (-sDEVICE=tiff32nc) and not with RGB (-sDEVICE=tiff48nc). Sample files attached, but the problem probably shows also with any other file. I did this test because of bug 695264 but probably they are not the same.
Created attachment 10938 [details] launch_leaflet.pdf File causing the problem.
Created attachment 10939 [details] CityMap.pdf Another file causing the problem.
I don't see any color issues with these files. Rendering to TIFF CMYK and opening with an application that understands color management (e.g. Adobe Photoshop) and comparing to Acrobat Reader the colors look the same. If you want to reopen this, I would suggest a screen shot.