Debian packaging updates

Hi,

Find attached a few Debian packaging updates.

Greets,
 Jeroen