fix to use libstdc++4.8 with clang