The DCAS branch needs to be merged to the trunk. This might even fix bug 85756?
*** Bug 85756 has been marked as a duplicate of this bug. ***
*** Bug 142103 has been marked as a duplicate of this bug. ***
Fixed (vex r1901, valgrind r10392).