diff --git a/Makefile.config.in b/Makefile.config.in
index f3a93465928..72ab66e4d2b 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@