latexrefre.sh: debugging