diff --git a/coccinelle/Makefile b/coccinelle/Makefile
index 6794dff70f..e0141022fc 100644
--- a/coccinelle/Makefile
+++ b/coccinelle/Makefile
@@ -15,6 +15,7 @@ DEPENDS+=	menhir>=20071212:../../devel/menhir
 
 CONFIGURE_ARGS+=	--with-menhir
 CONFIGURE_ARGS+=	--disable-pyml
+CONFIGURE_ARGS+=	--with-python=${PYTHONBIN}
 
 MAKE_JOBS_SAFE=		no