[cvs-nhc98] Update hat-stack to the new file format (untested).