diff --git a/configure b/configure
index 532e7a27323..e896175d39b 100755
--- a/configure
+++ b/configure
@@ -3727,7 +3727,7 @@ _replace_configvar_define() {
 _replace_configvar_value() {
     local name="${1}"
     local value="${2}"
-    _ret="s/\${${name}}/${value}/g"
+    _ret="s@\${${name}}@${value}@g"
 }
 
 # generate configfile for the given target