Added a --without-valgrind option to configure