changed project name to 'DistEL'