We have a bit of a mess with build-targets, EXTRA_TARGETS, targets,
which needs cleaning up some time. Anyway, we just add $(targets) to the
files which get deleted with "make clean" for now.