Re: [chuck-users] ChucK - Linux Mint ??