lua-mode, auctex and default xetex