Fixed a bug in run_tests.py.
Added support for SYX files.