pexts/src/AdminTools/pike_autoconf
