A temporary workaround for #8018 that avoids any chance of compatibility-breaking...
tree3d00dfc8a4d440a3dcd943ba6cd760dc005b0349
-rw-r--r-- 26 .gitattributes
-rw-r--r-- 89 .gitignore
-rw-r--r-- 15099 GPL-LICENSE.txt
-rw-r--r-- 1074 MIT-LICENSE.txt
-rw-r--r-- 2946 Makefile
-rw-r--r-- 2841 README.md
drwxr-xr-x - build
drwxr-xr-x - speed
drwxr-xr-x - src
drwxr-xr-x - test
-rw-r--r-- 8 version.txt