update the list of options in TeX2img.txt