chore(cil2smt2): update Makefile