Use proper temporary files