Debugging coverage-related install problems