Download binary file, isohdppx_f.bin