chore(cmath/cil2smt2): update Makefile; rm _tags; build native obj