missfont.log w katalogu domowym?

Po czystej instalacji otrzymuję plik o nazwie missfont.log w moim katalogu domowym, a także w innych katalogach, w których otwieram pliki pdf. Nie chcę tego tam.

Jak mogę uniknąć tworzenia tego dziennika? Jeden z poniższych raportów o błędach mówi o instalacji tetex-bin, ale nie mogę go znaleźć: bug1 i bug2 .

edycja : to rozwiązanie jednak nie działało. wszystkie sugestie są mile widziane.

Znalazłem rozwiązanie, ale nie jest bezbłędne. Najwyraźniej błąd związany jest z dvips. Dodałem plik .dvipsdo mojego folderu domowego i próbowałem przedefiniować MISSFONT_LOGzmienną. Ten ostatni jest bardzo słabo udokumentowany, więc dodaj poprawną wersję. Próbowałem następujących rzeczy i nie otrzymuję już plików missfont.log w całym miejscu (ale też nie mam plików .missfont.log).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log