debian package fixes