Remove redis-check-dump.c