Fixed bug: had wrong gcc for finding libgcc...