I'd like to remove my last comment - but can't determine how. There was a reference to this bug report from another error message report elsewhere, but I now see it is not the same problem as reported here. So, forget what I say.
I'd like to remove my last comment - but can't determine how. There was a reference to this bug report from another error message report elsewhere, but I now see it is not the same problem as reported here. So, forget what I say.