[linux] Fast Linux file count for a large number of files