Delete ws3.aux