Remove 'make coverage', its out of sync, will return later