GCC4 cross tools: a static libGMP requires linking with the host libstdc++