do not use tex by default