Fix committed, thanks to Erwin Lansing and Oliver Braun for:
- caring
- finding out that files/patch-Makefile.in did make it to CVS,
contrary to my assertion
- trying to commit the missing files (one of them succeded)
Thanks for your help
Oliver