fix binary download script