Download binary file, remoteexec.a.hash