yihui/homebrew-tinytex not found