Making ebash use a randomized tmp filename