python installation: shuffle some more files