tools: Fix up 'make coverage' output by removing built stuff