User-agent:
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6
DOLFIN is failing on the buildbot, but the tests run fine for me. Looks
like something is up with UFC (specifically the UFC SWIG wrappers, which
I recently modified). Johannes: can you take a look?
