Attempt to fix Debian packaging