scripts/functions.bash: mktmp: minor edit