Remove revive.el, because of encoding issue.