use clang's libc++ instead of the default standard c++ library