[travis] OK, no TeXLive for now