Fix rcov under 1.8