[cvs-nhc98] patch applied (hat): Rename libHSHat.a to libHShat.a.