Download binary file, addr2line