Suppress bug 850134 on 64-bit Linux builds. DONTBUILD