Making source-tree-marathon.pl more portable.