Re: [tbb-dev] Problems with and without tor-launcher