Changed the way problematic video files are tracked: now using a set of
strings that are the file names of the bad video files rather than a set
of the java.io.Files themselves.