We removed some files which are long since dead, but on the other
hand forgot some of the current ones.

Also, add a missing ) in a warning (introduced and fixed by Sam Ravnborg ;)