Use "better" scroll step value
tree0935cd9f3ce856cd95020ada60095bc489e3f50a
-rw-r--r-- 971 BUILDING
-rw-r--r-- 1240 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 148 Thanks
-rw-r--r-- 2995 build.ml
-rw-r--r-- 501 build.sh
-rw-r--r-- 30229 link.c
-rw-r--r-- 25407 main.ml
-rw-r--r-- 765 tbs