Re: CRUX 3.0 in the cloud (EC2)