Forgot to remove old "run-with-valgrind.sh" from Git