// Deleted scratch file