Fix a keyerror for coq_makefile