Download binary file, remoteexec.a