Use libc++ stdlib