Fix proofs build.
-rw-r--r-- 18373 .cproject
-rw-r--r-- 366 .gitignore
-rw-r--r-- 798 .mailmap
-rw-r--r-- 2742 .project
drwxr-xr-x - .settings
-rw-r--r-- 1448 AUTHORS
-rw-r--r-- 13001 COPYING
-rw-r--r-- 85 ChangeLog
-rw-r--r-- 10438 INSTALL
-rw-r--r-- 3637 Makefile
-rw-r--r-- 5708 Makefile.am
-rw-r--r-- 8717 Makefile.builds.in
-rw-r--r-- 1439 Makefile.subdir
-rw-r--r-- 2886 NEWS
-rw-r--r-- 4826 README
-rw-r--r-- 6705 RELEASE-NOTES
-rw-r--r-- 322 THANKS
-rwxr-xr-x 47499 autogen.sh
drwxr-xr-x - config
-rw-r--r-- 52263 configure.ac
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 2886 library_versions
drwxr-xr-x - proofs
drwxr-xr-x - src
drwxr-xr-x - test