Update for renaming of alloy to extensions