[sr-dev] git:master:93e0b7e7: db_berkeley: fix compilation warning