renamed to proper tex extension