Fixed #123 -- updated EC2 AMIs and pointers to them.