Bugfix: mutex in EobCollector ran out of scope