Remove some dead code from tvm