correct coq extension... was anything ending in v instead of .v