bld1: building p289r3r0bifsy4ymjcjgg6bxcipq2d6f-lean-ctx-3.12.1-vendor-staging.drv