Upgrade slime.el