Fixed #140 -- more compatible usage of mktemp in provision script.