Resolve problem with DBdumper.sh

Relates to last commit.