fix debian ports