Coq HoTT renamed to coq-HoTT and compiling with coqide