Update Makefile: fix issue with coverage option not knowing where the source file was