These files are from libcxxabi, svn revision 198643, Jan 7, 2014.