Small change to prevent potential issue where benchmark.sh overwrites its own output.