some minor adjustments for arangodump and arangorestore