revert unexpectedly deleted file