Port cintex to apple libcxx