fix auctex pdf output