Use TSC 0.9 by default