Fix python, finally.  Re-enable `auctex'.