Let's just hardcode a name, rather than randomly generating it - we're putting just this one temporary directory onto $PATH, so there's no way that the name can collide with anything.