PS. Are you guys getting email updates from ticket #5810? I'm doubting that you two are not actually CCed since no one is replying...
Yes. Both Karsten and I are subscribed to tor-bugs@ so we see all trac updates.
Oh, and I should add that I didn't reply to your last post because it sounded like you were still investigating this and I didn't have any advice. If you want my input on something then please leave a question directed toward me on the ticket. ;)