#1249: add --delete option to deactivate