valgrind: bug 36243 is fixed