EABI64 was selecting EABI32