make Travis's valgrind happy