fix debian/*