[cvs-nhc98] patch applied (hat): hat-stack now works with the new file format.