Fix: the distribution is now building again correctly