Fix generating coverage profiles