[use mktemp rather than tempfile since the former is more widely available
Helmut Grohne <grohne@cs.uni-bonn.de>**20140721143611
 Ignore-this: 90a4124d36eb5fb69c247c05e99d9af3
] hunk ./run_failed_test.bash 16
-tmpfn="$(tempfile -s .out)"
+tmpfn="$(mktemp --suffix=.out)"