Fix incorrect array size that crashes on platforms where sizeof(char*) != sizeof...
treeaf5c89cb93ccedad94edc74730729a19efdc964c
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 77174 ChangeLog
-rw-r--r-- 1028 Makefile
-rw-r--r-- 18974 README
-rw-r--r-- 16705 ReleaseNotes
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util