eprover version 1.0.004-1ubuntu1 failed to build on amd64 with GCC-4.6/oneiric

eprover version 1.0.004-1ubuntu1 failed to build on amd64 with GCC-4.6/oneiric
Link to failed build: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2449441

Details about the rebuild:
https://lists.ubuntu.com/archives/ubuntu-devel/2011-April/033042.html

Direct link to the build log: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2449441/+files/buildlog_ubuntu-natty-amd64.eprover_1.0.004-1ubuntu1_FAILEDTOBUILD.txt.gz

This log snippet might be of interest, since it triggered the matcher 'Purging chroot-autobuild'.
Excerpt 1636 lines into the build log:

Computing dependencies for CSSCPA_filter.c
make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL'
make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL'
gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o CSSCPA_filter.o CSSCPA_filter.c
gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cex_csscpa.o cex_csscpa.c
gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a
../BASICS/BASICS.a(clb_simple_stuff.o): In function `Log2':
clb_simple_stuff.c:(.text+0x95): undefined reference to `log'
collect2: ld returned 1 exit status
make[2]: *** [CSSCPA_filter] Error 1
make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL'
make[1]: *** [E] Error 2
make[1]: Leaving directory `/build/buildd/eprover-1.0.004'
make: *** [build-stamp-arch] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
******************************************************************************
Build finished at 20110422-1113
FAILED [dpkg-buildpackage died]
Purging chroot-autobuild/build/buildd/eprover-1.0.004