use direct download of sdk instead of Debian packages