Update list_from_tex.sh