added reftex stuff