bld1: building 05rxqmhk1a4x6wkig2w4bqrvq390plik-check-lean-ctx.drv