Use better AMI for 64-bit Ubuntu