[Bug 10587] xcovator crashes