It does not work to use both "coqlight" and "make install", so we
waste cpu time compiling the coq library in coq.HoTT, even though it
will not be used.