rand.py: can get random files