tex files should get the right ending