Delete bug4.elf