diff --git a/profiles/extreme/profile.bashrc b/profiles/extreme/profile.bashrc
index f478906b..5465a41d 100644
--- a/profiles/extreme/profile.bashrc
+++ b/profiles/extreme/profile.bashrc
@@ -161,7 +161,8 @@ if [[ true != false
 && ${CATEGORY}/${PN} != dev-db/sqlite  # Required to emerge avidemux-core
 && ${CATEGORY}/${PN} != net-libs/webkit-gtk # 2.2.6 isn't compiled on corka
 && ${CATEGORY}/${PN}-${PV} != sys-devel/gcc-4.8.3 # configure: error: Link tests are not allowed after GCC_NO_EXECUTABLES
-&& ${CATEGORY}/${PN} != sys-libs/readline # dev-lisp/gcl-2.6.{11,12} compilation goes to infinite loop in raw_pre_gcl
+&& ${CATEGORY}/${PN} != sys-libs/readline # dev-lisp/gcl-2.6.{11,12} compilation goes into infinite loop in raw_pre_gcl
+&& ${CATEGORY}/${PN} != dev-libs/gmp # dev-lisp/gcl-2.6.{11,12} compilation goes into infinite loop in raw_pre_gcl
 ]] ; then
     tmp="-fopenmp"
     CFLAGS="${CFLAGS} ${tmp}"