Yes they do but they have no solution either.
I tried the developer homepage and the give som advice which I do not understand:
1) Place the org.cups.cupsd.plist in /System/Library/LaunchDaemons/ and change owner and group to root/wheel
2) Place the cups-pdf.conf in /etc/cups/ and change owner and group to root/wheel
3) Unload and load the cupsd process by typing:
sudo launchctl unload /System/Library/LaunchDaemons/org.cups.cupsd.plist
sudo launchctl load /System/Library/LaunchDaemons/org.cups.cupsd.plist
4) Try to print to the Desktop by choosing the PDF Printer.
How to change the owner? - What is the /etc/... directory I have no idea.
I think I will have to give up (with a lot of non working PDF printer drivers on my system).
By the way I also tried desktopPDFcreator, which is quite nice as you can select the outputfolder by the software, but if I use drag and drop to this printer it always really prints to my EPSON and creates no PDF!
I think I get to old for all this complicated stuff.