Remove unused infinitest files