"Makefile.coq.local" did not exist on "master"