Remove spurious files
Didn’t mean to change this.