Re: [tor-relays] tor died with "invalid opcode", should I be worried?