oops, found it. No need for a reply. Thanks, anyway!
<eom>
Before posting, please read how to report bug or request support effectively.
Bug reports without an attached log file are usually useless.