Michael van der Westhuizen:  Patches for Linux.  Fixes http://llvm.org/bugs/show_bug.cgi?id=14648.