Use LuaTeX as default LaTeX engine