actually use coveraged file in tests