Issue #453: now run_tests.py checks ispc_exe availability