To debug coverage report on travis-ci