Add a comment for bug 939880, DONTBUILD