Fix extension dumping problem
tree2a678858b1cb5a68323ae816bc7746a64640683c
-rw-r--r-- 288 AUTHORS
-rw-r--r-- 2744 ChangeLog
-rw-r--r-- 5548 Makefile.am
-rw-r--r-- 14 NEWS
-rw-r--r-- 326 README
-rw-r--r-- 276 THANKS
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 11128 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 81 redo.sh
drwxr-xr-x - source
drwxr-xr-x - tests