[PATCH 1/2] Makefile: make coverage optional