linux FileFinder::GetChildDirectories() doesn't just get directories. It gets all files in a directory (except "." and ".."). I guess this hasn't affected anything, but it's pretty clear what the method is intended to do, so this is clearly a bug. Recorded here with low priority so it doesn't get lost.
Fixed in r1713.