error building with eabi with configuration Release

[daav]

@awneil

Just to be sure I’ve got this straight:

• everything before 2.51 does support ARM ELF GCC;
• nothing from 2.51 on supports ARM ELF GCC.

Corollary: This renders C-GPS (which is ARM ELF GCC only) unusable from 2.51 on…

Yes, that’s it.