Delete bug-15.t