load reftex with auctex