Fix tests file name for coverage target