Download binary file, vectorrep.cc.o