dos2unix theories/Modality.v
./autogen.sh