Patch attached to get the provided Debian packaging working again.

--
Marius