Hm, the distribution tests are failing locally in

ci.sh

, but the error message gives no information about why