
        clean_coverage.sh: Use portable shebang

224c217