K 10 svn:author V 3 des K 8 svn:date V 27 2016-01-19T17:20:07.888127Z K 7 svn:log V 141 Now that we have local modifications in configure.ac and configure, run autoheader and autoconf to avoid having to patch configure manually. END