Download binary file, wal_manager.cc.o