Built-in PDF printer disappeared

The option to print to PDF in Draftsight disappeared, so I can't do it any more.

I am using Ubuntu Linux 12.04 with Draftsight 2015 SP3. I've already tried removing and re-installing, but it didn't fix anything.

Can anyone help me?