Debian fixes

Hi there.

Here are some changes to the Debian packaging. Please consider applying.


Regards,
Rogério.