[Vampire-public] Missing files?

[Akim Demaille]

~/src/vampire % autoreconf -fvi                                  nostromo Err 1
autoreconf: Entering directory `.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force 
autoreconf: configure.ac: tracing
autoreconf: configure.ac: not using Libtool
autoreconf: running: /usr/local/bin/autoconf --force
autoreconf: configure.ac: not using Autoheader
autoreconf: running: automake --add-missing --copy --force-missing
configure.ac: installing `config/install-sh'
configure.ac: installing `config/mkinstalldirs'
configure.ac: installing `config/missing'
doc/texinfo/Makefile.am:20: installing `config/mdate-sh'
doc/texinfo/Makefile.am:20: installing `config/texinfo.tex'
autoreconf: Leaving directory `.'
~/src/vampire % ./configure                                      nostromo 10:02
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking for python... /usr/bin/python
checking for python version... m2.3
checking for python platform... linux2
checking for python script directory... ${prefix}/lib/python2.3/site-packages
checking for python extension module directory... 
a${exec_prefix}/lib/python2.3/site-packages
kconfigure: creating ./config.status
e config.status: creating Makefile
config.status: creating src/Makefile
-config.status: creating doc/Makefile
config.status: creating doc/config/Makefile
config.status: creating doc/man/Makefile
config.status: creating doc/texinfo/Makefile
config.status: creating tests/Makefile
config.status: creating tests/parse/Makefile
jconfig.status: creating tests/parse/hosts/Makefile
config.status: creating tests/parse/hosts/good/Makefile
config.status: creating tests/parse/hosts/bad/Makefile
config.status: creating tests/parse/tarballs/Makefile
config.status: creating tests/parse/tarballs/good/Makefile
config.status: creating tests/parse/tarballs/bad/Makefile
config.status: creating tests/xml_elements/Makefile
config.status: creating tests/xml_elements/good/Makefile
config.status: creating tests/xml_elements/bad/Makefile
config.status: creating tests/remote_test/Makefile
config.status: creating wrappers/Makefile
config.status: creating misc/Makefile                                    
config.status: creating misc/completion/Makefile
config.status: executing src/version.py commands

vampire version 0.2 configured successfully.
Using '/usr/local' for installation.
~/src/vampire % make                                             nostromo 10:02
Making all in src
make[1]: Entering directory `/home/akim/src/vampire/src'
make[1]: *** No rule to make target `pexpect.py', needed by `all-am'.  Stop.
make[1]: Leaving directory `/home/akim/src/vampire/src'
make: *** [all-recursive] Error 1