Give up on using libc++ for now