Fixed #234 -- refreshed EC2 AMI images.