Added fix for coverage files in Makefile. They do not crash the build anymore