Ran the shell script to download the binary files and convert them to HDF5. First the download failed because the wget utility wasn’t installed. I got wget for El Capitan from rudix.org, then ran the script again, download successful. Then ran convert.jl and this worked too. Two HDF5 files have been created, named train and text. I can open either using h5dump: