Fix jtorctl dependency not being downloadable