These files are from libc++, release 4.0.1.
