Apply patch from jmorton
-rw-r--r-- 9 .gitignore
-rw-r--r-- 194 Makefile
-rwxr-xr-x 3127 benchcompare.py
-rw-r--r-- 16425 main.c
-rw-r--r-- 1797 synthetic.bench