fix bug with current tex compiler