* Include the sources of db-1.85 in our distribution to become
easier the life for users of RedHat, Caldera, and others Linux
distributions.
To avoid clashes with previous libdb installed, we could rename
our own library (?).