travis: Use standard coverage file name.