Download binary file, execenv.a