Re: make_makefiles: Ignore backups of edited files.