Update auctex-lua.el