odds and ends for valgrind