[cherry-pick] further fix tex config
[cherry-pick] further fix tex config

guicho271828/2017-6-14-aist-interview,guicho271828/2017-6-14-aist-interview,guicho271828/2017-6-14-aist-interview,guicho271828/2017-6-14-aist-interview,guicho271828/2017-6-14-aist-interview