Have to use libc++ with clang-3.1