Fix for auctex loading