Fix some build issues
treeabe12ae009e320b8cd6498ca2599b2eab9793669
-rw-r--r-- 48 .dir-locals.el
-rw-r--r-- 1198 BUILDING
-rw-r--r-- 50 INSTALL
-rw-r--r-- 7897 KEYS
-rw-r--r-- 385 README
-rw-r--r-- 645 Thanks
drwxr-xr-x - be
-rw-r--r-- 2099 build.ninja
-rw-r--r-- 5093 buildall.sh
-rw-r--r-- 56279 config.ml
-rwxr-xr-x 1358 configure
-rw-r--r-- 427 doocaml
-rw-r--r-- 70 fixme
-rw-r--r-- 10936 glfont.c
-rw-r--r-- 1075 keystoml.ml
-rw-r--r-- 66966 keysym2ucs.c
drwxr-xr-x - le
-rw-r--r-- 128972 link.c
-rwxr-xr-x 4493 llppac
-rw-r--r-- 183407 main.ml
-rw-r--r-- 166 mkhelp.sh
-rw-r--r-- 9436 parser.ml
-rw-r--r-- 1136 pp.sed
-rw-r--r-- 41 tbs
-rw-r--r-- 3692 utils.ml
-rw-r--r-- 1597 wsel.c
-rw-r--r-- 32418 wsi.ml
-rw-r--r-- 1252 wsi.mli