Updating Alloy to 0a8059e; LPS-32590