diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index dfb8d49cd2d416643ce6cd900aabc9db78ca8bcd..5127ac2254f7fe961bf10e3a2e78508fa71eeb55 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -220,13 +220,13 @@ $(EACSL_PLUGIN_DIR)/tests/test_config: \
 		$(EACSL_PLUGIN_DIR)/tests/test_config.in \
 		$(EACSL_PLUGIN_DIR)/Makefile
 	$(PRINT_MAKING) $@
-	$(SED) -e "s|@SEDCMD@|`which sed `|g" $< > $@
+	$(SED) -e "s|@SEDCMD@|`command -v sed`|g" $< > $@
 
 $(EACSL_PLUGIN_DIR)/tests/test_config_dev: \
 		$(EACSL_PLUGIN_DIR)/tests/test_config_dev.in \
 		$(EACSL_PLUGIN_DIR)/Makefile
 	$(PRINT_MAKING) $@
-	$(SED) -e "s|@SEDCMD@|`which sed `|g" $< > $@
+	$(SED) -e "s|@SEDCMD@|`command -v sed`|g" $< > $@
 
 clean::
 	for d in $(E_ACSL_EXTRA_DIRS); do \