Issue #453: now run_tests.py checks ispc_exe availability otherwise prints an error message
Issue #453: now run_tests.py checks ispc_exe availability otherwise prints an error message