Update ec2setup.txt

Edit for 32-bit compatibility.