Use libc++ rather than libstdc++ if available.