Ignoring the symbolic link to the facts.
Merge branch 'fixbuild' of github.com:plast-lab/llvm-datalog into fixbuild