valgrind on travis CI