fix generate-tests.py to run on linux