* configure.in: Ditto. * lib/Makefile.in: Ditto. * lib/ddk/Makefile.in: Correct installation procedure. Adjust for autoconf-2.53. * configure: Regenerate.