Use hard-coded numbers for dictionary entries.

There's no reason to expect that the server binary will be incompatible
with the dictionaries