travis-ci: debugging coverage failures