Trying to reset auctex again..
Re-adding auctex, correctly this time I think.