export hdf stuff