Hi Christoph, Please could you give back dolfin after updating kfreebsd-* buildds to gcc-4.7 4.7.1-6, fixing PR c++/53549. fasch/fano/fils/finzi appear to have 4.7.1-5 at the moment. Thanks a lot, Regards, -- Steven Chamberlain steven@pyro.eu.org