Fix coq2scala installation