fix make file

The previous commit renamed a Coq file; the makefile is adjusted accordingly.