diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index dcb8c07ec886bd0bc1ffdf435ed1630c732abdff..36dba2679176245ad356f83b3ef770db3d09101f 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -49,10 +49,10 @@ m4_ifndef([FRAMAC_MAIN_AUTOCONF],[check_plugin_dependencies],[])
 AC_MSG_CHECKING(for Frama-C version)
 AC_MSG_RESULT($FRAMAC_VERSION)
 
-VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-\([[0-9]]\+\)-.*/\1/p'`
+VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-\([[0-9]]\+\).*/\1/p'`
 EXTRA_VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-[[0-9]]\+-\(.*\)/\1/p'`
-REQUIRED_NUMBER=20150201
-REQUIRED_NAME=Sodium
+REQUIRED_NUMBER=20151002
+REQUIRED_NAME=Magnesium
 
 case $FRAMAC_VERSION in
   # $REQUIRED_NAME-$REQUIRED_NUMBER+dev*)