We can close this bug now, since it was fixed a wee while ago.
treed58bca7a7cc403f36b45d1aa15cb019429625dbc
-rw-r--r-- 74 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 4300 ChangeLog
-rwxr-xr-x 785 Makefile
-rw-r--r-- 178 README
-rw-r--r-- 0 TODO
-rw-r--r-- 5 VERSION
drwxr-xr-x - dba
drwxr-xr-x - debian
drwxr-xr-x - docs
drwxr-xr-x - inc