Fix the tcserver build