Really fix file deletion
    
    It still wasn't working, because we didn't add $DESTD to the
    path to be deleted; we were just trying to delete a relative
    path under TMPDIR, which wasn't ever going to exist. Note how
    this follows what we do for master-deletedirs, which works.