/* Destroy a file or directory (directories must be empty). */