Improved temporary directory management in the Tool Shed.