K 10 svn:author V 7 zeising K 8 svn:date V 27 2013-06-16T20:51:44.331447Z K 7 svn:log V 94 Fix the libc++ option. This somehow got reverted when this was updated after the CVS removal. END