Restored cleanup on exit for valgrind. Use --without-cleanup-on-exit if you don't want it. Rev: src/configure.in:1.1014