Updated EC2 AMIs for v0.5.1, fixes #567.