--- Makefile.in.orig	2014-04-03 10:14:03.000000000 +0000
+++ Makefile.in
@@ -46,7 +46,6 @@ OCAMLLIB  = @OCAMLLIB@
 OCAMLINSTALLLIB  = $(DESTDIR)@OCAMLINSTALLLIB@
 OCAMLBEST = @OCAMLBEST@
 OCAMLVERSION = @OCAMLVERSION@
-CC        = gcc
 COQC      = @COQC@
 COQDEP    = @COQDEP@
 CAMLP5O   = @CAMLP5O@