Makefile cleanup + invert_tactic2 erasure

Wasting 1 hour because doing our own makefile is faster