Use curl instead of wget to get hdf4 files when --enable-hdf4-tests specified