Seems like the best fix is to deprecate back-bdb and only use back-hdb from now on.
But I vaguely remember that back-hdb has higher memory consumption.
Ciao, Michael.