Removing auctex temporarily.
Adding auctex back in again, using emacsmirror this time (old repo had vanished)