update to r1831 for DRi#967 fix

git-svn-id: https://drmemory.googlecode.com/svn/trunk@1164 5b54908e-ead4-fc18-b48a-0285e6dbc711