Comment 4 for bug 1743332

I tried valgrind and it sometimes reports reads of freed space; probably some old pointer is hanging around; however my version is now quite old. So my plan is:
1) a git pull
2) a full debug build
3) re-run under valgrind (painful)
4) profit (I expect usable backtraces from memcheck...)