Updating Alloy to e27db7a; LPS-32757