​Oops, found it: I had an installation of libgc in /usr/local. Sorry for the noise.