Delete bug4.srec