mac02: building 9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv