11246 krb5 makefiles should use INS or INS.file

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