Re: [Clc-crux64] migrate to danm iso?