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