I was able to repair mongo errors as suggested here but apparently that’s not enough, so I’m not advising it.