- Switched to a version of AWS, which is compatible with GNAT-GPL-2013.
- Adjusting our patch for AWS to match the downgrade.
- Improved clean-up before patching AWS.
- Wget doesn't time-stamp files downloaded to a specific location.