CI now uses clang 3.2 and libstdc++4.8