Update hexfileio.h