Actually delete files (completes #1807)