Fix ARM EABI script