Fixes coccinelle (depends on camlp4)