Fixed Makefile for coverage checks