Minor libc++abi changes to make things build better with gcc.