changes to make cobertura work