Fix debian building