d73ebc5948
This change is required, because the implementation of call_deferred() no longer ensures this behaviour: if a MessageQueue is created on a thread, then that is used instead of the main MessageQueue.