Tentativo di rendere piu' veloce la compilazione di coq_hott