mac02: building fjm9w49fnkmbgg97vqfhwmlb12zn0dlr-check-lean-ctx.drv