Fix arm-android-eabi correctly, it never mirrored gnat-aux