Download binary file, defines3.output