Updated instructions for getting binaries