diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template
index 85939a89d5..310f9d4326 100644
--- a/srcpkgs/coccinelle/template
+++ b/srcpkgs/coccinelle/template
@@ -1,7 +1,7 @@
 # Template file for 'coccinelle'
 pkgname=coccinelle
 version=1.0.8
-revision=4
+revision=5
 build_style=gnu-configure
 configure_args="--without-pdflatex --enable-release
  --with-python=/usr/bin/python3"
@@ -13,8 +13,6 @@ license="GPL-2.0-only"
 homepage="http://coccinelle.lip6.fr/"
 distfiles="https://github.com/coccinelle/coccinelle/archive/${version}.tar.gz"
 checksum=9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f
-
-export OCAMLPARAM="safe-string=0,_"
 disable_parallel_build=yes
 nocross=yes