switch to libc++ for embedded clang 3.5 (needed to embed the libc++ headers for this to work)