Updated the public AMIs for the 1.4.2 release