ooops, forget the tex lib