Issue #453

Now run_tests.py checks ispc_exe availability.