keep coverage information around, just gitignore it