Silence warnings in dump.c