[PPL-devel] CVSROOT run_autoconf