Sorry folks. Well, actually, I was wrong, I looked at the wrong release of CodeSourcery, the one for Linux uses glibc. However, I'm still unconvinced of the need to use a gcc branded by a proprietary vendor (like when typing gcc --version). It's not so hard to build a vanilla GNU toolchain.