Try to fix Debian packaging, helps fix GH-174