cov_re is undefined according to pylint or eclipse.pydev