diff --git a/core/gmp/build b/extra/gmp/build
similarity index 100%
rename from core/gmp/build
rename to extra/gmp/build
diff --git a/core/gmp/checksums b/extra/gmp/checksums
similarity index 100%
rename from core/gmp/checksums
rename to extra/gmp/checksums
diff --git a/core/gmp/depends b/extra/gmp/depends
similarity index 100%
rename from core/gmp/depends
rename to extra/gmp/depends
diff --git a/core/gmp/sources b/extra/gmp/sources
similarity index 100%
rename from core/gmp/sources
rename to extra/gmp/sources
diff --git a/core/gmp/version b/extra/gmp/version
similarity index 100%
rename from core/gmp/version
rename to extra/gmp/version