Fix the name of the coverage record file for C, Klee, C++.
Fix finder of python scripts.