Don't use TeX by default