make valgrind happy