dedma: print non-valgrind messages to stdout