Patch libstdc++ headers on travis so that it compiles with clang