[cvs-nhc98] Move HatBuiltin.hi to standard location.