issue #379: fixed arango-dfdb path in devel, too