fixed a coverage testing bug in Makefile