corrected tools/getSourceFiles.py