Fix Autotesting/Scripts/autotesting.py