In legacy/trac#31919, we upgraded most of our CI jobs to Ubuntu bionic, so that we had a recent enough version of coccinelle (1.0.4 or later). But we didn't put a minimum coccinelle version requirement in check_cocci_parse.sh. We should also check what happens if we install coccinelle on Windows. For details, see: https://trac.torproject.org/projects/tor/ticket/32500#comment:18