Ubuntu print to pdf; install a PDF printer

The "Print to File" option doesn't work in non-gtk apps, then is when cups-pdf is usefull (from wine, java...)