Hack to get gcovr working.