fixed runmany.py