change Alloy.CFG to Alloy.Globals