Fix leak. Should bring back the valgrind bot.