changes to get rcov to work