diff --git a/profiles/desktop/package.mask b/profiles/desktop/package.mask
index 06d0bc6c..2e18272d 100644
--- a/profiles/desktop/package.mask
+++ b/profiles/desktop/package.mask
@@ -1,7 +1,6 @@
 >=media-fonts/liberation-fonts-2.00.0
 >=gnome-base/gsettings-desktop-schemas-3.10.1
 =dev-lisp/gcl-2.6.11 # long compilation time
-=dev-lisp/gcl-2.6.12 # long compilation time
 
 # Waiting for udev to be fully populated
 # udev-217,udev-init-scripts-27,openrc-0.12.4