Download binary file, random.cc.o