Renamed "run-with-valgrind.sh" -> "valgrind.sh"