Index: defaults/ia64/Makefile.config
===================================================================
--- defaults/ia64/Makefile.config	(revision 04803bf8f1da7bdbf5ff9493b1ebf9a322103841)
+++ defaults/ia64/Makefile.config	(revision 1d465bf4b98a5bc5b790ecab106baa34aa9d68ee)
@@ -47,6 +47,6 @@
 CONFIG_HID_OUT = generic
 
-# Use shared C library
-CONFIG_SHARED_LIBC = n
+# Build shared libraries
+CONFIG_BUILD_SHARED_LIBS = n
 
 # Load disk drivers on startup