we report which filenames are problematic