Patch for Makefile
In case you are having problems executing make, i.e., you receive some error messages, you can try to modify the Makefile. Particularly, if you’re trying to build the code on a Windows machine.
In line 12 of the Makefile replace the line
FILES=$(shell find src -name '*.c')
by
FILES=$(wildcard src/*.c)