Fixed auctex loading