Fix debian distribution.