minor fix: make tmp directory names nicer