A fast utility for finding filenames in a list