Pick the compiler the "Travis way".
Update to a newer libstdc++.