Sept. 6, 2014
2:20 p.m.
I can't reproduce the valgrind-reported bug on my platform, but there does seem to be a bug there, by code inspection. Can you please try the attached patch on your platform? Thanks.