delete deprecated revive.el