Donated anonymously:  This enables GCC 4.8.0 to build libc++.