Deleting the old linux tree