Use libc++ for the NaCl code