Clang needs the libstdc++ that comes with gcc-4.8