Mark ofStateManager.py and run_coverage.py executable, adapt shebang.