[cvs-nhc98] Minor changes to the main build wrt the hat-tools: