Re: mysterious buildsys/mock failure (maxima)