restore a mistakenly deleted file