4 files changed, 2 insertions, 9 deletions

diff --git a/src/luarocks/cfg.lua b/src/luarocks/cfg.lua
index b9a7b31a..2a92c4dd 100644
--- a/src/luarocks/cfg.lua
+++ b/src/luarocks/cfg.lua
@@ -220,7 +220,6 @@ end
 local defaults = {
 
    local_by_default = false,
-   use_extensions = false,
    accept_unknown_fields = false,
    fs_use_modules = true,
    hooks_enabled = true,
diff --git a/src/luarocks/command_line.lua b/src/luarocks/command_line.lua
index 495fe855..dbf64b9c 100644
--- a/src/luarocks/command_line.lua
+++ b/src/luarocks/command_line.lua
@@ -113,12 +113,6 @@ function command_line.run_command(...)
       end
    end
    command = command:gsub("-", "_")
-
-   if flags["extensions"] then
-      cfg.use_extensions = true
-      local type_check = require("luarocks.type_check")
-      type_check.load_extensions()
-   end
    
    if cfg.local_by_default then
       flags["local"] = true
diff --git a/src/luarocks/type_check.lua b/src/luarocks/type_check.lua
index 5e3bfb0d..65b4fc15 100644
--- a/src/luarocks/type_check.lua
+++ b/src/luarocks/type_check.lua
@@ -87,7 +87,8 @@ local rockspec_types = {
       copy_directories = {
          _any = string_1,
       },
-      _more = true
+      _more = true,
+      _mandatory = true
    },
    hooks = {
       platforms = {}, -- recursively defined below
diff --git a/src/luarocks/util.lua b/src/luarocks/util.lua
index 6a99b568..6fecf863 100644
--- a/src/luarocks/util.lua
+++ b/src/luarocks/util.lua
@@ -81,7 +81,6 @@ local supported_flags = {
    ["deps"] = true,
    ["deps-mode"] = "<mode>",
    ["detailed"] = "\"<text>\"",
-   ["extensions"] = true,
    ["force"] = true,
    ["from"] = "<server>",
    ["help"] = true,