Fix debian packages