Use --leak-check=full with Valgrind