[tor-commits] [gettor/master] Changes for production in github uploader