On Tue, Oct 28, 2014 at 12:04 PM, Pablo Escobar Lopez <pablo.escobarlo...@unibas.ch> wrote: > I verified it when I tried the workaround and it seems to work fine, at > least in this case.
That's because you are using a gcc toolchain and it is in the path. I suspect this would fall back to system gcc with an ictce toolchain. Ward
