add libstdc++ 4.7 for Travis CI