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