diff --git a/Makefile.config.in b/Makefile.config.in
index 72ab66e4d2b..f3a93465928 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -151,10 +151,10 @@ DOT        := @DOT@
 DOXYGEN    := @DOXYGEN@
 GROFF      := @GROFF@
 GZIP       := @GZIP@
-OCAMLC     := "@OCAMLC@"
-OCAMLOPT   := "@OCAMLOPT@"
-OCAMLDEP   := "@OCAMLDEP@"
-OCAMLDOC   := "@OCAMLDOC@"
+OCAMLC     := @OCAMLC@
+OCAMLOPT   := @OCAMLOPT@
+OCAMLDEP   := @OCAMLDEP@
+OCAMLDOC   := @OCAMLDOC@
 POD2HTML   := @POD2HTML@
 POD2MAN    := @POD2MAN@
 RUNTEST    := @RUNTEST@