Download binary file, isohdppx.bin