Quite a few of the ufl files in the DOLFIN demos are failing with the new FFC when the flag '-l dolfin' is used. Garth