Update hashfile.h