latex-envlab: rebuild