TOOLS-281 Fix race condition in dumprestore7.js