bug#23203: 25.0.91; some loaddefs files have auto-save remnants after building (and install doesn't ignore them)

[Eli Zaretskii]

> Date: Sun, 3 Apr 2016 19:46:40 +0100
> From: "Phillip Lord" <phillip.lord@russet.org.uk>
> Cc: 23203@debbugs.gnu.org
> 
> The attached patch fixes the problem in my hands (assuming we believe that
> this is a bug). The solution may be a bit blunt, though, although the
> function patched is documented as "use in batch during build".

Indeed, I'd rather we didn't do anything that drastic.

If needed, backups can be disabled from the command line.