alt-ergo 2.2.0 uninstall with warning

[tyabu12]

opam remove alt-ergo failed with the following error message:

$ opam remove alt-ergo
The following actions will be performed:
  ⊘ remove alt-ergo 2.2.0*

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[WARNING] package uninstall script failed at /Users/tyabu12/.opam/opam-init/hooks/sandbox.sh remove make uninstall
          MANDIR=/Users/tyabu12/.opam/default/man:
          # context     2.0.3 | macos/x86_64 | ocaml-base-compiler.4.07.1 |
          pinned(http://alt-ergo.ocamlpro.com/http/alt-ergo-2.2.0/alt-ergo-2.2.0.tar.gz)
          # path        ~/.opam/default/.opam-switch/remove/alt-ergo.2.2.0
          # command     ~/.opam/opam-init/hooks/sandbox.sh remove make uninstall
          MANDIR=/Users/tyabu12/.opam/default/man
          # exit-code   2
          # env-file    ~/.opam/log/alt-ergo-37554-6d07ae.env
          # output-file ~/.opam/log/alt-ergo-37554-6d07ae.out
          ### output ###
          # Makefile.users:336: .depend: No such file or directory
          # menhir -v parsers/why/why_parser.mly 
          # ocamllex.opt parsers/why/why_lexer.mll > /dev/null
          # ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui
          -I parsers/why -I parsers/smt2 -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml*
          lib/frontend/*.ml* tools/text/*.ml* \
          #         tools/gui/*.ml* parsers/why/*.ml* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
          # ocamlfind remove alt-ergo
          # Removed /Users/tyabu12/.opam/default/lib/alt-ergo/META
          # ocamlfind: /Users/tyabu12/.opam/default/lib/alt-ergo/plugins: Operation not permitted
          # make: *** [uninstall-lib] Error 2

Done.

The output of opam config report is the following:

$ opam config report
# opam config report
# opam-version      2.0.3 
# self-upgrade      no
# system            arch=x86_64 os=macos os-distribution=homebrew os-version=10.14.3
# solver            builtin-mccs+glpk
# install-criteria  -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs              3
# repositories      1 (http) (default repo at b5094383)
# pinned            2 (version)
# current-switch    default

[tyabu12]

The following commands are reproducible way:

mkdir alt-ergo-test && cd alt-ergo-test
opam switch create . ocaml-base-compiler.4.07.1
opam install alt-ergo.2.2.0
opam remove alt-ergo

[github-actions[bot]]

This issue is stale because it has been open 90 days with no activity. Remove the stale label, or comment, or this will be closed in 15 days.