myDSL Extensions (deprecated) :: Making a mydsl .iso