diff --git a/src/Makefile.am b/src/Makefile.am
index 17624020c420a2b688126f4250bd1d7ee1344708..9edb71d19a2858c833b020513029083193a678c4 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -5,15 +5,15 @@ FILES = \
 
 data_DATA = $(FILES:=o)
 EXTRA_DIST = $(FILES)
-CLEANFILES = $(FILES:=o) $(FILES:=d)
+CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
 
 datadir = $(libdir)
 
-%.vo: %.v
+.vo.v:
 	@echo COQC $<
 	@$(COQC) $(COQRFLAG) $<
 
-%.vd: %.v
+.vd.v:
 	@echo COQDEP $<
 	@$(COQDEP) -I . $< > $@