added configure option --with-valgrind