comment -static-libstdc++ for g++-4.7.2