Use https for the TB distribution, fixes #1