Use berkely-db46 for ZeroC Ice 3.4 formula