On the Mac, texi2pdf doesn't have a --tidy option