Mongodump fix for bad $timestamp parsing