Delete full_DG580.mk~