Hi, As can be seen in makefiles, the options -flat_namespace and -undefined suppress are forced in the build. Apparently, these options cause some trouble in certain situations (see this https://lists.macosforge.org/pipermail/macports-dev/2008-October/006266.html ) Do we need these options in the Gambit build or should we thing about removing them? Best regards, Álvaro