Seems it's a permissions issue, needs to be explicitly allowed since it isn't signed on newer macos: https://itch.io/t/1849862/macos-coq-is-brokendamaged-solution
