refresh: hexfile