11246 krb5 makefiles should use INS or INS.file

@@ -58,12 +58,12 @@
         @cd $@; pwd; $(MAKE) $(TARGET)
 
 install_h:      $(KRB5INCDIR) $(KRB5HDRS)
 
 $(COMERRHINST): $(COMERRH)
-        install -s -m 644 -f $(KRB5INCDIR) $(COMERRH)
+        $(INS) -s -m $(FILEMODE) -f $(KRB5INCDIR) $(COMERRH)
 $(KRB5HINST):   $(KRB5H)
-        install -s -m 644 -f $(KRB5INCDIR) $(KRB5H)
+        $(INS) -s -m $(FILEMODE) -f $(KRB5INCDIR) $(KRB5H)
 $(LOCPLUGHINST): $(LOCPLUGH)
-        install -s -m 644 -f $(KRB5INCDIR) $(LOCPLUGH)
+        $(INS) -s -m $(FILEMODE) -f $(KRB5INCDIR) $(LOCPLUGH)
 
 FRC: