Fix linux problem with libstdc++ fix