Do not know when this came in (8.16, or 8.17) - but 8.17 also requires a complete rerun of configure. 8.15 was so simple (or did I just not notice it then?)
Michael
Would be much nicer if ./configure complained at the beginning about being
root, rather than at the end.
regards,
Michael