fix debian packages