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