miredo: add debian reproducibility patch

No match.