needs to be allowed since it isn't signed: https://itch.io/t/1849862/macos-coq-is-brokendamaged-solution
