Ivo, the problem you mention is a bug and not related to this bug report , Kindly file a separate bug.
Ivo, the problem you mention is a bug and not related to this bug report , Kindly file a separate bug.