use DPRINTF instead of fprintf(stderr)