fix testing with latest Teng