Example / test files cannot be compiled cause of hyphen in name
Since a while coqc does not accept file names with hyphens in the name. This means that none of the supplied test / example files can be compiled with coqc. E.g.:
$ coqc example-20071016.v
Error: Invalid character '-' in identifier "example-20071016".