Fixed a bug in which `generate-names.pl` would sometimes report the
incorrect number of hashing bits in verbose output, and would
sometimes use the number of hashing bits for an existing index even
if that index was being regenerated.  Thanks to Richard Hayes for
pointing out the incorrect log output.