A number of *~ files accidentaqlly got added last time. This will, hopefully, remove them.