Fixed minor bugs related to download of tools and libwebrtc