implementing File.destroy()