fix pull.py: can't enumerate folder in linux.