Mark ofStateManager.py and run_coverage.py as executable.