functions.bash: mktmp: update