Hello, what is the option --oldincludedir of the configure script in the current 6.7 nightly snapshot for? ./configure --help says that its default is /usr/include. Is this directory used to install files into or is it just used for reading files? Best wishes, Wolfgang