RED-750 Fixing wrongly merged mongo compiled state file