Scripts that profile parsec benchmarks with the pintool