bld1: building 7sqam2rsq3b27qbj478jmrxv6a5zbirg-check-lean-ctx.drv