make adt tests compile