This should hopefully make the devel branch build reproducibly again.