Making the workload.sh and checker.sh scripts independent of one particular strace