Debian fixes

Hi,

Here are a couple of fixes from the Debian packaging.

Regards,

Stephen