Download binary file, defines1.output