bld1: building k0fpl5wwp2km6hnr8sc4cfm9mj0m5qmn-lean-ctx-3.12.0-vendor-staging.drv