Fix download example in install-binary doc.