Fix extension header installation problem
treec2834b4d79b08f8e438e99007f491c1ed36e8144
-rw-r--r-- 295 AUTHORS
-rw-r--r-- 2744 ChangeLog
-rw-r--r-- 5524 Makefile.am
-rw-r--r-- 14 NEWS
-rw-r--r-- 231 README
-rw-r--r-- 276 THANKS
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 10069 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 81 redo.sh
drwxr-xr-x - source
drwxr-xr-x - tests