We want to see if we can build with libc++ as the std mutex types are already annotated for Clang Thread Safety Analysis