fix debian builds