Debugging: trying to figure out why travis-ci is improperly reporting coverage