mac02: building x3c7py2x87bl89mc095m4hkb9lvs71hm-check-opencodex.drv