bld1: building 4l2vbsvjq7k6cr24gp9zbpvgvvj9anpy-check-lean-ctx.drv