ensure that auctex gets loaded, and enable reftex