diff --git a/configure b/configure
index 8da7622..8433ce6 100755
--- a/configure
+++ b/configure
@@ -4012,6 +4012,7 @@ $as_echo "not found" >&6; }
  if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
    package_reatk_ctrlNbac="ocaml"; #dummy flag
    ctrln_pp="-UENABLE_CTRLN"
+   enable_ctrl2ept=no
    { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Controllable-Nbac backend and translators disabled." >&5
 $as_echo "$as_me: WARNING: Controllable-Nbac backend and translators disabled." >&2;}
  else
diff --git a/configure.in b/configure.in
index 1a78401..9394f81 100644
--- a/configure.in
+++ b/configure.in
@@ -67,6 +67,7 @@ AC_CHECK_OCAML_PKG([reatk.ctrlNbac])
  if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
    package_reatk_ctrlNbac="ocaml"; #dummy flag
    ctrln_pp="-UENABLE_CTRLN"
+   enable_ctrl2ept=no
    AC_MSG_WARN([Controllable-Nbac backend and translators disabled.])
  else
    package_reatk_ctrlNbac="package(reatk.ctrlNbac)"