file deletion - fixes #12