Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.