TEX program: fix the linux command line rather than change the regex