Have you tried the old printing to .ps and distilling? That should still work fine – and you'll probably end up with a smaller .pdf file at the same or better quality.