updated generated alloy file