bld1: building j8asnslc3i6yjbblw5zfsdqqjm5ssc19-check-lean-ctx.drv