I am planning on removing WITHOUT_ARM_EABI before 10.0 is released. As this is planned on happening soon it this change is likely to happen within the next two weeks, after a short heads up. This is a reminder for people who have not yet moved to the ARM EABI to do so now as their build will break when this option is removed. Andrew