Download binary file, hello_riscv64.ko.bz2