Missing files of tex format