In makedict.py, report duplicate hash entries to stderr.