mac02: building 31marv8yx9rpll1h4pynhj9d0z8vppri-check-lean-ctx.drv