opa, tenta instalar diretamente os binários do SDK. Eu tive o mesmo problema quando segui os passos do link que você mencionou e a única alternativa que encontrei foi instalar os binários diretamente.