[PATCH] diff.c: clean temporary files